# corollary

101

**König's theorem (set theory)**— For other uses, see König s theorem. In set theory, König s theorem (named after the Hungarian mathematician Gyula König) colloquially states that if the axiom of choice holds, I is a set, mi and ni are cardinal numbers for every i in I , and m i …102

**Second-order logic**— In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… …103

**Projective module**— In mathematics, particularly in abstract algebra and homological algebra, the concept of projective module over a ring R is a more flexible generalisation of the idea of a free module (that is, a module with basis vectors). Various equivalent… …104

**Wishart distribution**— Probability distribution name =Wishart type =density pdf cdf parameters = n > 0! deg. of freedom (real) mathbf{V} > 0, scale matrix ( pos. def) support =mathbf{W}! is positive definite pdf =frac{left|mathbf{W} ight|^frac{n p 1}{2… …105

**United States Presidential doctrines**— are key goals, attitudes, or stances for United States foreign affairs outlined by Presidents that were dubbed their doctrines . Most presidential doctrines are related to the Cold War. Though many U.S. Presidents had themes related to their… …106

**Chebotarev's density theorem**— in algebraic number theory describes statistically the splitting of primes in a given Galois extension K of the field Q of rational numbers. Generally speaking, a prime integer will factor into several ideal primes in the ring of algebraic… …107

**Greenspun's Tenth Rule**— of Programming is a common aphorism in computer programming and especially programming language circles. It states: [http://www.paulgraham.com/icad.html Revenge of the Nerds] , by Paul Graham.] Any sufficiently complicated C or Fortran program… …108

**John Derbyshire**— (born June 3, 1945) is a British born author who lives in the United States and became a naturalized citizen in 2002. He is a columnist for the conservative magazines National Review Online and [http://www.newenglishreview.org/ New English… …109

**Objectivist metaphysics**— All of Objectivism rests on Objectivist metaphysics and Objectivist epistemology: the study of the fundamental nature of reality, and of the nature and proper method of acquiring knowledge. The key tenets of the Objectivist metaphysics are (1)… …110

**Surplus product**— Part of a series on Marxism …